@CHARSET "ISO-8859-1";

div#updater > span {
	margin: 3px;
	padding:2px;
	border: 1px solid gray;
	color: #444;
	font-size: 10px;
	display: block;
	float: left;
}